منابع مشابه
The sequentially realizable functionals
We consider a notion of sequential functional of -nite type, more generous than the familiar notion embodied in Plotkin’s language PCF. We study both the “full” and “e4ective” partial type structures arising from this notion of sequentiality. The full type structure coincides with that given by the strongly stable model of Bucciarelli and Ehrhard; it has also been characterized by van Oosten in...
متن کاملGames on Graphs and Sequentially Realizable Functionals Extended Abstract
We present a new category of games on graphs and derive from it a model for Intuitionistic Linear Logic. Our category has the computational flavour of concrete data structures but embeds fully and faithfully in an abstract games model. It differs markedly from the usual Intuitionistic Linear Logic setting for sequential algorithms. However, we show that with a natural exponential we obtain a mo...
متن کاملSequence Prediction in Realizable and Non-realizable Cases
A sequence x1, . . . , xn, . . . of discrete-valued observations is generated according to some unknown probabilistic law (measure) μ. After observing each outcome, it is required to give the conditional probabilities of the next observation. The realizable case is when the measure μ belongs to an arbitrary but known class C of process measures. The nonrealizable case is when μ is completely ar...
متن کاملSEQUENTIALLY COMPACT S-ACTS
The investigation of equational compactness was initiated by Banaschewski and Nelson. They proved that pure injectivity is equivalent to equational compactness. Here we define the so called sequentially compact acts over semigroups and study some of their categorical and homological properties. Some Baer conditions for injectivity of S-acts are also presented.
متن کاملA realizable renewable energy future
The ability of renewable resources to provide all of society's energy needs is shown by using the United States as an example. Various renewable systems are presented, and the issues of energy payback, carbon dioxide abatement, and energy storage are addressed. Pathways for renewable hydrogen generation are shown, and the implementation of hydrogen technologies into the energy infrastructure is...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annals of Pure and Applied Logic
سال: 2002
ISSN: 0168-0072
DOI: 10.1016/s0168-0072(01)00110-5